Approximating Sparse Covering Integer Programs Online
نویسندگان
چکیده
A covering integer program (CIP) is a mathematical program of the form: min{cx | Ax ≥ 1, 0 ≤ x ≤ u, x ∈ Z}, where A ∈ R ≥0 , c, u ∈ R n ≥0. In the online setting, the constraints (i.e., the rows of the constraint matrix A) arrive over time, and the algorithm can only increase the coordinates of x to maintain feasibility. As an intermediate step, we consider solving the covering linear program (CLP) online, where the requirement x ∈ Z is replaced by x ∈ R. Our main results are (a) an O(log k)-competitive online algorithm for solving the CLP, and (b) an O(log k · log l)-competitive randomized online algorithm for solving the CIP. Here k ≤ n and l ≤ m respectively denote the maximum number of non-zero entries in any row and column of the constraint matrix A. By a result of Feige and Korman, this is the best possible for polynomial-time online algorithms, even in the special case of set cover (where A ∈ {0, 1} and c, u ∈ {0, 1}). The novel ingredient of our approach is to allow the dual variables to increase and decrease throughout the course of the algorithm. We show that the previous approaches, which either only raise dual variables, or lower duals only within a guess-and-double framework, cannot give a performance better than O(log n), even when each constraint only has a single variable (i.e., k = 1).
منابع مشابه
ar X iv : c s . D S / 03 07 04 3 v 1 18 J ul 2 00 3 An Extension of the Lovász Local Lemma , and its Applications to Integer Programming ∗
The Lovász Local Lemma due to Erdős and Lovász (in Infinite and Finite Sets, Colloq. Math. Soc. J. Bolyai 11, 1975, pp. 609–627) is a powerful tool in proving the existence of rare events. We present an extension of this lemma, which works well when the event to be shown to exist is a conjunction of individual events, each of which asserts that a random variable does not deviate much from its m...
متن کاملRounding to an Integral Program
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as integer covering programs, possibly with additional side constraints. Second, the number of covering options is restricted in some sense, although this property may be well hidden. Our method is a natural extension of the t...
متن کاملAn Extension of the Lovász Local Lemma, and its Applications to Integer Programming
The Lovász Local Lemma due to Erdős and Lovász (in Infinite and Finite Sets, Colloq. Math. Soc. J. Bolyai 11, 1975, pp. 609–627) is a powerful tool in proving the existence of rare events. We present an extension of this lemma, which works well when the event to be shown to exist is a conjunction of individual events, each of which asserts that a random variable does not deviate much from its m...
متن کاملOn Polynomial Kernels for Integer Linear Programs: Covering, Packing and Feasibility
We study the existence of polynomial kernels for the problem of deciding feasibility of integer linear programs (ILPs), and for finding good solutions for covering and packing ILPs. Our main results are as follows: First, we show that the ILP Feasibility problem admits no polynomial kernelization when parameterized by both the number of variables and the number of constraints, unless NP ⊆ coNP/...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012